/*
 * led.h
 *
 * Created: 14/12/2013 19:37:50
 *  Author: usuario
 */ 


#ifndef LED_H
#define LED_H


#include <rtos.h>
#include <board.h>
#include <gpio.h>
#include <dronus.h>

#define BLINKY_LED	PIO_PB27_IDX
#define ERROR_LED	PIO_PC30_IDX

void LED_setup  ( void );
void LED_set    ( unsigned portBASE_TYPE uxLED, signed portBASE_TYPE xValue );
void LED_toggle ( unsigned portBASE_TYPE uxLED );

#define LED_On( X )					LED_set(pdTRUE,  X )
#define LED_Off( X )				LED_set(pdFALSE, X )

#endif

